We present a modernized proof, with a modification by M.A. Shtan’ko, of the Markov theorem on the unsolvability of the homeomorphy problem for manifolds. We then discuss a proof of the S.P. Novikov theorem on the unrecognizability of spheres for n≥5, from which we obtain a corollary about unrecognizability of all manifolds of dimension at least five. An analogous argument then proves the unrecognizability of stabilizations of all four-dimensional manifolds. We also give a brief overview of known results concerning (...) algorithmic recognizability of three-dimensional manifolds. (shrink)

The morbidity of tick‐borne encephalitis (TBE) varies yearly by as much as 10‐fold among the people of Western Siberia. This long‐term variation is dependent on many factors such as the density of the tick populations, the prevalence of TBE virus (TBEV) among sub‐adult ticks, the yearly virulence of the TBEV, and prophylactic measures. Here we highlight the role of small mammal hosts in the circulation of TBEV through the ecosystem. Refining classical models of non‐viremic horizontal transmission, we emphasize the recently (...) understood fact that the physiological and immunological status of the small mammal hosts affects the tick and virus‐host interactions. In addition to its theoretical interest, our approach may lead to some practical improvements in the precision of epidemiological forecasts and perhaps in forestalling the severity of outbreaks of TBE, or, at least, in forewarning medical authorities and the general public of impending TBE outbreaks. (shrink)

Grigorii Savvich Skovoroda was a distinguished philosopher of the eighteenth century Ukraine who made a significant contribution to the development of philosophical thought and enlightenment ideas. A contemporary of N. I. Novikov, Ia. P. Kozel'skii, and A. I. Radishchev, he reflected in his work the protest of the laboring peasant masses against serfdom. This protest was the starting point for his philosophical interpretation of the world, man, problems of social justice, and the paths along which they could be resolved. (...) Representing the antifeudal movement for enlightenment in the Ukraine, he linked the freedom of his people to unification of the Ukraine with Russia and to the general struggle for implementation of anti-serfdom ideals. (shrink)

Despite tendencies to compete for a prime place in moral theory, neither virtue ethics nor the four principles approach should claim to be superior to, or logically prior to, the other. Together they provide a more adequate account of the moral life than either can offer on its own. The virtues of principlism are clarity, simplicity and (to some extent) universality. These are well illustrated by Ranaan Gillon’s masterly analysis of the cases he has provided. But the vices of this (...) approach are the converse of its virtues: neglect of emotional and personal factors, oversimplification of the issues, and excessive claims to universality. Virtue ethics offers a complementary approach, providing insights into moral character, offering a blend of reason and emotion, and paying attention to the context of decisions. The cases provided can be more adequately understood if we combine the approaches. Both should foster the virtues of humility and magnanimity. (shrink)

The experience of organizing the educational process during the quarantine caused by the COVID-19 pandemic is considered. Using of interactive technologies that allow organizing instant audio communication with a remote audience, as well as intelligent tools based on artificial intelligence that can help educational institutions to work more efficiently. Examples of sufficient use of artificial intelligence in distance learning are given. Particular attention is paid to the development of intelligent chatbots intended for use in communications with students of online courses (...) of educational web portals. The use of technologies of ontology formation based on automatic extraction of concepts from external sources is offered, what can lead to greater acceleration of construction of the intellectual component of chatbots. Artificial intelligence tools can become an essential part of distance learning during this global COVID-19 pandemic. While educational institutions are closed to quarantine and many of them transitioned to distance learning lecturers and schoolteachers, as well as students and schoolchildren faced with the necessity to study in this new reality. The impact of these changes depends on people's ability to learn and on the role that the education system will play in meeting the demand for quality and affordable training. The experience of organizing the educational process at the University of Education Management of the National Academy of Pedagogical Sciences of Ukraine in the quarantine caused by the COVID-19 pandemic showed that higher and postgraduate institutions were mostly ready to move to distance learning. However, most distance learning systems, on whatever platform they are organized, need to be supplemented: the ability to broadcast video, providing fast transmission of various types of information, receiving instant feedback when voting, polls and more. The structure of each section of the training course for the online learning system should fully cover the training material and meet all the objectives of the course. Appropriate language should be used, and wording, syntax, and presentation of tasks should be considered. One of the areas of application of artificial intelligence technologies in online learning is the use of chatbots which are characterrized by the following properties. It is advisable to use computer ontologies to ensure the intellectualization of chatbots. In this case, the metadata must be understandable to both humans and software and meet the requirements of modern standards in the field of information technology. The extraction of concepts from external data sources was carried out to build the ontology. (shrink)

Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized eigenvalues problem of sparse matrices, with automatic parallelization of calculations on modern parallel computers with graphics processors. Peculiarities of realization of parallel algorithms for different structures of sparse matrices are presented. The times of solving the problem of stability of composite materialsusing a three-dimensional model of "finite size fibers" on computers of different architectures are given. In mathematical modeling of physical and technical (...) processes in many cases there is a need to solve problems of algebraic problem of eigenvalues with sparse matrices of large volumes. In particular, such problems arise in the analysis of the strength of structures in civil and industrial construction, aircraft construction, electric welding, etc. The solving to these problems is to determine the eigenvalues and eigenvectors of sparse matrices of different structure. The efficiency of solving these problems largely depends on the effectiveness of mathematical modeling of the problem as a whole. Continuous growth of task parameters, calculation of more complete models of objects and processes on computers require an increase in computer productivity. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. Today, this problem is solved by using powerful supercomputers of hybrid architecture, such as computers with multicore processors and graphics processors, which combine MIMD and SIMD architectures. But the potential of high-performance computers can be used to the fullest only with algorithmic software that takes into account both the properties of the task and the features of the hybrid architecture. Complicating the architecture of modern high-performance supercomputers of hybrid architecture, which are actively used for mathematical modeling means a significant complication of efficient use of these resources in creating parallel algorithms and programs. here are problems with the creation of algorithmic software with automatic execution of stages of work, which are associated with the efficient use of computing resources, ways to store and process sparse matrices, analysis of the reliability of computer results. This makes it possible to significantly increase the efficiency of mathematical modeling of practical problems on modern high-performance computers, as well as free users from the problems of parallelization of complex problems. he developed algorithmic software automatically implements all stages of parallel computing and processing of sparse matrices on a hybrid computer. It was used at the Institute of Mechanics named after S.P. Tymoshenko NAS of Ukraine in modeling the strength problems of composite material. A significant improvement in the time characteristics of mathematical modeling was obtained. Problems of mathematical modeling of the properties of composite materials has an important role in designing the processes of deformation and destruction of products in various subject areas. Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized problem of eigen values of sparse matrices of different structure of large orders, with automatic parallelization of calculations on modern parallel computers with graphics processors. The main methodological principles and features of implementation of parallel algorithms for different structures of sparse matrices are presented, which ensure effective implementation of multilevel parallelism of a hybrid system and reduce data exchange time during the computational process. As an example of these approaches, a hybrid algorithm of the iteration method in subspace for tape and block-diagonal matrices with a frame for computers of hybrid architecture is given. Peculiarities of data decomposition for matrices of profile structure at realization of parallel algorithms are considered. The proposed approach provides automatic determination of the required topology of the hybrid computer and the optimal amount of resources for the organization of an efficient computational process. The results of testing the developed algorithmic software for problems from the collection of the University of Florida, as well as the times of solving the problem of stability of composite materials using a three-dimensional model of "finite size fibers" on computers of different architectures. The results show a significant improvement in the time characteristics of solving problems. (shrink)

The article describes the application of the cassette method of passenger transportation, taking into account the dynamics of passenger traffic during the day by means of an intelligent transport system based on unmanned electric vehicles. The calculation of the required number of electric cars for the cassette for a one-time fulfillment of the delivery plan is presented.

The proposed article is devoted to the description of an intelligent urban passenger transport system based on unmanned electric vehicles, sequentially moving along a separate line. This system is a passenger transport system of a new urban mobility, formed under the influence of social conditions generated by high population density in cities, that suppose the development of pedestrian zones and ecological modes of transport, "transport as a service", etc. In this historical context, public transport systems acquire special relevance. The described (...) transport system belongs to intelligent systems, since it is capable of functioning in autonomous mode without human intervention, adaptively responding to changes in the dynamics of the flow of passengers during the day. Passengers are transported by electric cars, which can be combined into cassettes according to the principle of road trains based on the transportation plan drawn up by the intelligent center of the transport system according to the matrix of correspondences, filled in taking into account the incoming requests for service from passengers. When drawing up a transportation plan, the algorithms of the transport system give preference to transportation according to the "source-destination" principle, that is, when the passenger goes to the destination with a minimum number of intermediate stops, and ideally without them. The paper formulates also a criterion of arising of a conflict in the movement of vehicles, which allows to identify situations when an electric vehicle driving in front can detain vehicles following after. The work has relevance because the criterion will allow to make adjustments in the schedule of movement of vehicles and exclude the loss of time and energy that carries the transport system during braking and acceleration of electric cars, as well as to reduce waiting time and travel of passengers. (shrink)

The controversies in Bristol, Alder Hey and elsewhere in the UK surrounding the removal and retention of human tissue and organs have led to extensive law reform in all three UK legal systems. This paper reports a short study of the reactions of a range of health professionals to these changes. Three main areas of ethical concern were noted: the balancing of individual rights and social benefit; the efficacy of the new procedures for consent; and the helpfulness for professional practice (...) of the new legislation and regulation. Recognition of these concerns may help in forging a new partnership between professionals and patients and their families. (shrink)

The philosophical disposition of the mind of Vladimir Bibikhin is deeply related to the thought of Martin Heidegger, but at the same time his existential character is almost directly opposite. What is common to them is the understanding of thought as the docile attention to the event of being. The text outlines three aspects of this disposition of mind, which all are disputed by the author. (1) Consciousness is not only the Carthesian ruler, but also the subject of the ethical (...) reflexion, conscience. (2) In the “seizedness” as the basic frame of mind of the docile attention the turn of the possessedness is concealed. (3) In the political turn of the seizing historical event the totalitarian power is hidden. (shrink)

The paper proves that a historical method in Marxism is not identified to a dialectical method. The logic of history and the logic of its analysis in Marxism do not always coincide. The Logical coincides with the Historical only in eternity as it actually occurs in the works by G.V.F. Hegel. Eternity which has already witnessed everything does not know history any more. In the same way, history also begins there where the eternity comes to an end. Therefore, artificial identification (...) of the Logical with the Historical in Marxism led sometimes to actual mistakes. It is no wonder that it has always caused discussions in Marxism. They are mainly explained by the fact that the deductive, abstract-to-concrete method in which the “General” appears before the “Concrete” is an anti-historical method in its Nature. In real human history the “General” which is generalization of many “Concrete” could not appear before the latter in any way. For this reason, the real historical materialism needs an inductive method of knowledge. Only in that case historical materialism will cease to remain the soviet “histmat” and becomes the real form of a new world outlook. The author is of the opinion that the Party spirit of the Soviet philosophy promoted preservation of the anomalies mentioned in Marxism. The open discussion could help to find valid but not inherited from Hegel relation of historical and logical methods in Marxism. (shrink)

A large number of definitions of the concept “model” have been given by various authors in recent years. Thirty-seven definitions are listed by A. I. Uyemov in a recent monograph. This list is somewhat one-sided since it contains a disproportionate number of references to the work of Soviet authors. However, most of the important definitions given by Western writers are included. I shall give three definitions, all of great generality, so that various types of models, replicas, maps, theories and, most (...) importantly, cybernetic models, are included. The advantage of this high degree of generality, or all-inclusiveness, is that the task of the investigator of uses of models in science, is reduced to classifying the various types of models, their construction, function, and structure, thus avoiding indecisive arguments such as the Duhem–Campbell controversy, so perceptively discussed by Mary Hesse. (shrink)

The main result is that is no effective algorithmic answer to the question:how to recognize whether arbitrary modal formula has a first-order equivalent on the class of finite frames. Besides, two known problems are solved: it is proved algorithmic undecidability of finite frame consequence between modal formulas; the difference between global and local variants of first-order definability of modal formulas on the class of transitive frames is shown.

The prevailing philosophical mood among those physicists today whose interests are mainly in the field of modern atomic theory, is some form of positivism. This is true not only of the leaders in the field of quantum mechanics, as for instance Heisenberg, Jordan, and Dirac, in whose writings on the philosophical aspects of the recent revolutionary advances in physics the positivistic tendency is clearly visible, but also of the rank and file of competent students of the modern quantum theory.